-
1 logical connective
логическая связка
—
[ http://www.iks-media.ru/glossary/index.html?glossid=2400324]Тематики
- электросвязь, основные понятия
EN
Англо-русский словарь нормативно-технической терминологии > logical connective
-
2 logical connective
логическая функция; логическая связка -
3 logical connective
Большой англо-русский и русско-английский словарь > logical connective
-
4 logical connective
Вычислительная техника: логическая связка, логическая функция -
5 logical connective
-
6 logical connective
логическая функция; логическая связкаEnglish-Russian dictionary of computer science and programming > logical connective
-
7 logical connective
логическая связкаEnglish-Russian dictionary of technical terms > logical connective
-
8 logical connective
мат. -
9 logical connective
-
10 connective
-
11 connective
1) соединяющий элемент || соединительный3) лог. функция; выражение; связка; логический оператор с двумя операндами, логическая связка•- Boolean connective
- logical connective
- metalinguistic connective
- OR connectiveEnglish-Russian dictionary of computer science and programming > connective
-
12 connective
1. n грам. соединительное слово, соединительная частица2. n бот. пыльник, связник3. n анат. соединительная ткань4. n лог. связкаlogical connective — логическая функция; логическая связка
5. a соединительный, связующийСинонимический ряд:link (noun) attachment; bond; connection; coupling; fastening; junction; link; tie; union -
13 connective
1. связкаlogical connective — логическая функция; логическая связка
Boolean connective — булева функция; булево выражение; булева связка
2. соединительныйEnglish-Russian dictionary of Information technology > connective
-
14 Boolean connective
булева функция; булево выражение; булева связкаlogical connective — логическая функция; логическая связка
-
15 логическая связка
Большой англо-русский и русско-английский словарь > логическая связка
-
16 логическая функция
Большой англо-русский и русско-английский словарь > логическая функция
См. также в других словарях:
Logical connective — This article is about connectives in classical logic. For connectors in natural languages, see discourse connective. For connectives and operators in other logics, see logical constant. For other logical symbols, see table of logic symbols. In… … Wikipedia
logical connective — loginė funkcija statusas T sritis automatika atitikmenys: angl. logical connective; logical function vok. Logikfunktion, f; logische Funktion, f; logische Verknüpfung, f rus. логическая связка, f; логическая функция, f pranc. fonction logique, f … Automatikos terminų žodynas
Logical harmony — Logical harmony, a name coined by Sir Michael Dummett, is a supposed constraint on the rules of inference that can be used in a given logical system.The logician Gerhard Gentzen proposed that the meanings of logical connectives could be given by… … Wikipedia
Connective — may be referring to: Bains::connective Logical connective Connective tissue Discourse connective, in linguistics, a word or phrase like therefore or in other words . See also Connection (disambiguation) This disambiguation page lists articl … Wikipedia
Logical constant — In symbolic logic, a logical constant of a language L is a symbol that has the same semantic value in all models of (the expressions of) L . Two important types of logical constants are logical connectives and quantifiers. The equality predicate… … Wikipedia
Logical disjunction — Disjunction redirects here. For separation of chromosomes, see Meiosis. For disjunctions in distribution, see Disjunct distribution. Venn diagram of the logical disjunction of A and B … Wikipedia
Logical biconditional — In logic and mathematics, the logical biconditional (sometimes known as the material biconditional) is the logical connective of two statements asserting p if and only if q , where q is a hypothesis (or antecedent) and p is a conclusion (or… … Wikipedia
logical function — loginė funkcija statusas T sritis automatika atitikmenys: angl. logical connective; logical function vok. Logikfunktion, f; logische Funktion, f; logische Verknüpfung, f rus. логическая связка, f; логическая функция, f pranc. fonction logique, f … Automatikos terminų žodynas
Logical implication — In logic and mathematics, logical implication is a logical relation that holds between a set T of formulae and a formula B when every model (or interpretation or valuation) of T is also a model of B . In symbols,# T models B, # T Rightarrow B # T … Wikipedia
connective — connectively, adv. connectivity /kon ek tiv i tee/, n. /keuh nek tiv/, adj. 1. serving or tending to connect: connective remarks between chapters. n. 2. something that connects. 3. Gram. a word used to connect words, phrases, clauses, and… … Universalium
connective — In formal logic a connective is an element of a sentence that joins parts in such a way that the logical properties of the whole are a defined function of the logical properties of the parts. The most familiar connectives are those expressing the … Philosophy dictionary